" Markus Wenzel" скачать бесплатно. Электронная библиотека. Поиск книг BookSee

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Verifikation und Validierung für die Simulation in Produktion und Logistik: Vorgehensmodelle und Techniken (VDI-Buch)

Markus Rabe, Sven Spieckermann, Sigrid Wenzel

3.83 Mb

#2

Isabelle-HOL - A Proof Assistant for Higher-Order Logic

Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel

Категория: Cs_Computer science, CsLn_Lecture notes

824 Kb